381. Topological model theory
پدیدآورنده: Flum, Jorg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Topological spaces,، Model theory
رده :
QA
3
.
L28
Vol
.
769
382. Uncountably categorical theories
پدیدآورنده: Zilber, Boris
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Model theory,، Categories )Mathematics(,، Completeness theorem
رده :
QA
9
.
7
.
Z513
383. Using activity theory to explore the perspectives of participants on an initial teacher education programme for science teachers in the Kingdom of Saudi Arabia
پدیدآورنده: Binjumah, Sami Mohammed
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Activity Theory ; Initial Teacher Education ; Science Teachers in the Kingdom of Saudi Arabia ; Third Space Model ; Science Teachers ; School and university partnership
384. Vollstandige systeme modaler und intuitioni tischor logik
پدیدآورنده: Schutte, Kurt
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Model theory,، Logic symbolic and mathematical
رده :
QA
9
.
7
.
S39V6
385. agent systems :-Formation control of multi
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Multiagent systems. ; Formation control (Machine theory) ; Graph theory. ; Rigidity (Geometry) ; Automatic control ; Mathematical models. ; Robotics ; Mathematical models. ;
386. classical logics, model theory, and computability-Non
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Nonclassical mathematical logic ; Congresses. ; Model theory ; Congresses. ; Computable functions ; Congresses. ;
387. کاربرد تئوری رفتار برنامه ریزی شده در تحلیل عوامل موثر بر پذیرش کشت بدون خاکورزی در شهرستان مرودشت
پدیدآورنده: /مهدی شهریاری گرایی
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Logit model,Marvdasht county,No-tillage cultivation,Planned behavior theory and Soil conservation
